Logic Synthesis, Hardware Description Languages, Digital Electronics, Circuit Verification

Unusual circuits in the Intel 386's standard cell logic
righto.com·12h·
Circuit Archaeology
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·16h·
Discuss: DEV
🔍FPGA Verification
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Hole-in-the-wall homelab.
reddit.com·13h·
Discuss: r/homelab
🏠Homelab Preservation
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·9h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Making Actually Useful Schematics in KiCad
hackaday.com·1d
⚙️DIY Electronics
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
From light to logic: First complete logic gate achieved in soft material using light alone
phys.org·2d
⚛️Quantum Tape
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Spiral Development for Hardware Programs
asbuilt.pub·2d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Copackaged optics have officially found their killer app - of course it's AI
theregister.com·20h
🖥️Modern Terminals
Flag this post
1000W Seasonic PSU in the works!
blogger.com·1d
🇳🇱Dutch Computing
Flag this post
Implementation of a Java Processor on a FPGA
mavmatrix.uta.edu·2d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🎵Audio ML
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Reading List 11/22/25
construction-physics.com·16h
🌡️Preservation Physics
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post